Deduction theorem - PDFSEARCH.IO - Document Search Engine

Deduction theorem
Results: 172

#	Item
51	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Automated theorem proving Proof theory Mathematical proofs Logical syntax First-order logic Proof assistant Theorem Isabelle Natural deduction Logic Mathematics Mathematical logic
52	The Ackermann Award 2007 M. Grohe, M. Hyland, J.A. Makowsky, and D. Niwinski Members of EACSL Jury for the Ackermann Award? The third Ackermann Award is presented at this CSL’07. This is the first year in which the EAC Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Mathematics Decidability Presburger arithmetic Automated theorem proving Natural deduction Wilhelm Ackermann Quantifier elimination Modal logic Deep inference Proof theory Logic Mathematical logic
53	Redirecting Proofs by Contradiction Jasmin Christian Blanchette Technische Universität München, Germany Abstract This paper presents an algorithm that redirects proofs by contradiction. The input is a refutation graph, Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-05-17 11:36:21 Proof theory Automated theorem proving Rules of inference Mathematical proofs Sequent Natural deduction Proof by contradiction Resolution First-order logic Logic Mathematics Mathematical logic
54	Combining generic judgments with recursive definitions Andrew Gacek Department of CS&E University of Minnesota Dale Miller Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:04 Model theory Proof theory Metalogic Automated theorem proving Deduction Admissible rule Entailment Symbol Sequent calculus Logic Mathematics Mathematical logic
55	CHAPTER I An Introduction to Proof Theory Samuel R. Buss Departments of Mathematics and Computer Science, University of California, San Diego La Jolla, California[removed], USA Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-01-14 17:15:00 Propositional calculus Proof theory Model theory Metalogic First-order logic Substitution Deduction theorem Interpretation Frege system Logic Mathematical logic Mathematics
56	LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-07-19 04:40:31 Logic in computer science Type theory Deduction Automated theorem proving Formal methods Twelf Symbol Proof assistant POPLmark challenge Logic Theoretical computer science Mathematical logic
57	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
58	Completeness of Propositional Logic as a Program Ryan Stansifer Department of Computer Sciences Florida Institute of Technology Melbourne, Florida USA 32901 Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2006-01-03 14:49:24 Propositional calculus Proof theory Logical syntax Fuzzy logic Deduction theorem Contradiction Axiom Theorem BL Logic Mathematical logic Mathematics
59	Constraining Credential Usage in Logic-Based Access Control Lujo Bauer Carnegie Mellon University Pittsburgh, PA, USA Email: Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Cut-elimination theorem Sequent calculus Mathematical proof Sequent Logic programming Credential Entailment Natural deduction Logic Proof theory Mathematics
60	Noname manuscript No. (will be inserted by the editor) Declarative Representation of Proof Terms Claudio Sacerdoti Coen Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-05-22 05:46:20 Proof theory Mathematical proofs Philosophical logic Logic in computer science Natural deduction Entailment Curry–Howard correspondence Theorem First-order logic Logic Mathematics Mathematical logic

UPDATE